Automated Generation of Unit Tests from UML Activity Diagrams using the AMPL Interface for Constraint Solvers

I, Felix Kurth, declare that I have authored this thesis independently, that I have not used other than the declared sources / resources, and that I have explicitly marked all material which has been quoted either literally or by content from the used sources. Neither this thesis nor any other similar work has been previously submitted to any examination board

Specifications using XQuery Expressions on Traces Abstract

This paper contributes to the interoperability of web services by proposing the flexible specification technique SXQT in conjunction with the automatic validation, a straightforward approach for detecting non-conformance. SXQT allows different levels of abstraction by specifying individual requirements on a web service’s protocol, i.e. its SOAP messages and behaviour including SOAP modules. The automatic validation detects non-conformance by comparing occurring message sequences with the protocol’s specification

iii Contents Contents

Ich versichere an Eides statt, dass ich die vorliegende Projektarbeit selbstständig verfasst und keine anderen als die angegebenen Quellen und Hilfsmittel verwendet habe. Die Arbeit wurde in dieser oder ähnlicher Form noch keiner Prüfungskommission vorgelegt. Hamburg, den 30. Januar 201

nondetei~-mithsticautomata*

continuous~variab1esystems by means o

Technik anaerober Prozesse : Beiträge einer Veranstaltung des Sonderforschungsbereiches 238 der DFG an der Technischen Universität Hamburg-Harburg in Zusammenarbeit mit dem Forschungsausschuss Biotechnologie der DECHEMA /

Vom 7. bis 9. Oktober 199